Section: Partnerships and Cooperations
European Initiatives
Collaborations with Major European Organizations
The CONVECS project-team is member of the FMICS (Formal Methods for Industrial Critical Systems) working group of ERCIM (http://fmics.inria.fr). H. Garavel and R. Mateescu are members of the FMICS board, H. Garavel being in charge of dissemination actions.